PKK Library catalog › Results of search for 'su:{Cybernetics} and au:Siekmann, Jorg'

1.

AUTOMATION OF REASONING

by Siekmann, Jorg | Wrightson, Graham.

Material type: book

Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Au82] (1).

2.

AUTOMATION OF REASONING

by Siekmann, Jorg | Wrightson, Graham.

Material type: book

Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Au82] (1).

3.

AUTOMATION OF REASONING

by Siekmann, Jorg | Wrightson, Graham.

Material type: book

Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Au82] (1).

4.

AUTOMATION OF REASONING

by Siekmann, Jorg | Wrightson, Graham.

Material type: book

Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Au82] (1).

PKK Library

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Refine your search

Authors

Item types

Series

Topics

	1.	AUTOMATION OF REASONING by Siekmann, Jorg \| Wrightson, Graham. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Au82] (1). Place hold Add to cart (remove)
	2.	AUTOMATION OF REASONING by Siekmann, Jorg \| Wrightson, Graham. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Au82] (1). Place hold Add to cart (remove)
	3.	AUTOMATION OF REASONING by Siekmann, Jorg \| Wrightson, Graham. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Au82] (1). Place hold Add to cart (remove)
	4.	AUTOMATION OF REASONING by Siekmann, Jorg \| Wrightson, Graham. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Au82] (1). Place hold Add to cart (remove)